On Incompleteness of Multi-dimensional First-order Temporal Logics
نویسنده
چکیده
In this paper we show that first-order temporal logics form a proper expressiveness hierarchy with respect to dimensionality and quantifier depth of temporal connectives. This result resolves (negatively) the open question concerning the existence of an expressively complete first-order temporal logic, even when allowing multi-dimensional temporal connectives.
منابع مشابه
Towards More Useful Description Logics of Time, Change and Context
Description Logics (DLs) are a family of logic-based formalisms for the representation of and reasoning about knowledge. Classical DLs are fragments of first-order logic and therefore aim at capturing static knowledge. Alas, the lack of means of DLs to capture dynamic aspects of knowledge has been often criticized because many important DL applications depend on this kind of knowledge. As a rea...
متن کاملIncompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs
It is shown that the infinite-valued first-order Gödel logic G based on the set of truth values {1/k : k ∈ ω \ {0}} ∪ {0} is not r.e. The logic G is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger’s temporal logic of programs (even of t...
متن کاملMulti-dimensional knowledge representation with a fuzzy extension
This paper presents some prefiminary results of our current attempts to develop a hybrid multi-dimensional knowledge representation scheme which can handle both the incompleteness and uncertainty. We have started from the quantitative temporal constraint information, and extended it with possibilistic quantifiers. We have also extended the former towards a multidimensional constraint-based form...
متن کاملResolution-Based Proof for Multi-Modal Temporal Logics of Knowledge
Temporal logics of knowledge are useful in order to specify complex systems in which agents are both dynamic and have information about their surroundings. We present a resolution method for propositional temporal logic combined with multi-modal S5 and illustrate its use on examples. This paper corrects a previous proposal for resolution in multi-modal temporal logics of knowledge.
متن کاملModal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency [5, 8] that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or Petri nets. Modal logics, interpreted over Kripke structures, are the logics for reasoning about sequential behavior and interleaved concurrency. Modal logic is a well behaved subset of first-order logic; many v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003